Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
371	PDF Document Add to Reading List Source URL: www.kornai.com Language: English - Date: 1998-12-03 13:07:54 Models of computation Formal languages Mathematics Year of birth missing Finite-state machine Finite state transducer Kornai Mehryar Mohri Formal verification Automata theory Theoretical computer science Applied mathematics
372	PDF Document Add to Reading List Source URL: www.emotionalcompetency.com Language: English - Date: 2012-04-27 14:21:18 Behavior Positive mental attitude Self Happiness Motivation Self-esteem Self-enhancement Self-verification theory Social rejection Social psychology Mind Conceptions of self
373	PDF Document Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:28 Applied mathematics Logic in computer science Dependently typed programming Type theory Automated theorem proving Proof-carrying code Formal verification Automated proof checking Frank Pfenning Formal methods Theoretical computer science Mathematics
374	PDF Document Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2002-08-09 18:00:25 Applied mathematics Automata theory Computing Formal methods Stateflow Simulink Finite-state machine State transition system Formal verification Visual programming languages Models of computation Theoretical computer science
375	PDF Document Add to Reading List Source URL: subs.emis.de Language: English - Date: 2012-04-16 06:04:40 Polyspace Software testing Formal methods Logic in computer science Formal verification Cross-platform software Software verification Abstract interpretation Programming language Computing Software engineering Programming language theory
376	PDF Document Add to Reading List Source URL: guru-lang.googlecode.com Language: English - Date: 2011-04-06 12:22:59 Type theory Functional languages Logic in computer science Data types Dependent type Formal verification Functional programming Type system Haskell Software engineering Programming language theory Computing
377	PDF Document Add to Reading List Source URL: www.issr.ucla.edu Language: English - Date: 2009-10-05 12:42:29 Course evaluation Social psychology Salience Self-verification theory Women are wonderful Education Behavior Evaluation

UPDATE